Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
981	The Complete Javascript Strings Reference By Patrick Hunlock Javascript Strings are deceptively complex constructs. There are actually two different types of strings -- String Literals and String Objects -- and they both Add to Reading List Source URL: www.hunlock.com Language: English - Date: 2007-05-02 19:33:19 Scripting languages Object-oriented programming Type theory Cross-platform software JavaScript String Literal Eval Netscape Computing Software engineering Computer programming
982	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-09-30 06:08:05 Programming language theory Type theory Data types Type systems Standard ML Caml F Sharp Increment and decrement operators Area Software engineering Computing Functional languages
983	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Type theory Programming paradigms Constraint programming Logic programming Data types Prolog Inference Type system Type inference Software engineering Computing Computer programming
984	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Programming language theory Type theory Data types Formal methods Polymorphism Subtype polymorphism Immutable object Type system Model theory Software engineering Computing Object-oriented programming
985	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-11-19 17:25:51 Subroutines Functional programming Lambda calculus Type theory Object-oriented programming JavaScript Closure Apply Type system Software engineering Computing Computer programming
986	PDF Document Add to Reading List Source URL: www.visualdna.com Language: English - Date: 2015-02-16 10:34:34 Behavior Big Five personality traits Trait theory Personality psychology Conscientiousness Openness to experience Psychometrics Neuroticism Personality type Personality traits Personality Mind
987	Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Recursion Type theory Data types Self-reference Theoretical computer science Recursive data type Corecursion Standard ML Inductive data type Computer programming Software engineering Computing
988	Index ∇ (inference tree), 3, 98, 99, 118 Λ (in type function), 48 ∀ (in type scheme), 36 see also quantification α (type variable), 36 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-10-12 10:48:21 Data types Type theory C++ Procedural programming languages Functional programming Monad Variable Scope C++ classes Software engineering Computing Computer programming
989	NATIONAL PERSONALITY AND THE PREVALENCE OF TIPPING Add to Reading List Source URL: tippingresearch.com Language: English - Date: 2010-07-11 16:11:14 Personality tests Eysenck Personality Questionnaire Psychoticism Neuroticism Trait theory Extraversion and introversion Tip Myers-Briggs Type Indicator Hans Eysenck Personality Personality traits Mind
990	TREATMENT ORGANIZER Work with your care team to fill in the log below: Type of treatment Add to Reading List Source URL: www.mylungcancersupport.org Language: English - Date: 2015-03-19 16:06:34 Computer programming Programming language theory Side Effects